An Improved Implementation and Abstract Interface for Hybrid

Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

Is social support pre-treatment associated with prognosis for adults with depression in primary care?

OBJECTIVE: Depressed patients rate social support as important for prognosis, but evidence for a prognostic effect is lacking. We aimed to test the association between social support and prognosis independent of treatment type, and the severity of depression, and other clinical features indicating a more severe illness. METHODS: Individual patient data were collated from all six eligible RCTs (n=2858) of adults seeking treatment for depression in primary care. Participants were randomized to any treatment and completed the same baseline assessment of social support and clinical severity factors. Two-stage random effects meta-analyses were conducted. RESULTS: Social support was associated with prognosis independent of randomized treatment but effects were smaller when adjusting for depressive symptoms and durations of depression and anxiety, history of antidepressant treatment, and co-morbid panic disorder: percentage decrease in depressive symptoms at 3-4 months per z-score increase in social support =-4.14(95%CI: -6.91 to -1.29).Those with a severe lack of social support had considerably worse prognoses than those with no lack of social support: increase in depressive symptoms at 3-4 months =14.64%(4.25% to 26.06%). CONCLUSIONS: Overall, large differences in social support pre-treatment were associated with differences in prognostic outcomes. Adding the Social Support scale to clinical assessments may be informative, but after adjusting for routinely assessed clinical prognostic factors the differences in prognosis are unlikely to be of a clinically important magnitude. Future studies might investigate more intensive treatments and more regular clinical reviews to mitigate risks of poor prognosis for those reporting a severe lack of social support

The contribution of depressive ‘disorder characteristics’ to determinations of prognosis for adults with depression : an individual patient data meta-analysis

This is the final version. Available on open access from Cambridge University Press via the DOI in this record.The supplementary material for this article can be found at https://doi.org/10.1017/S0033291721001367Background This study aimed to investigate general factors associated with prognosis regardless of the type of treatment received, for adults with depression in primary care. Methods We searched Medline, Embase, PsycINFO and Cochrane Central (inception to 12/01/2020) for RCTs that included the most commonly used comprehensive measure of depressive and anxiety disorder symptoms and diagnoses, in primary care depression RCTs (the Revised Clinical Interview Schedule: CIS-R). Two-stage random-effects meta-analyses were conducted. Results. Twelve (n = 6024) of thirteen eligible studies (n = 6175) provided individual patient data. There was a 31% (95%CI: 25 to 37) difference in depressive symptoms at 3–4 months per standard deviation increase in baseline depressive symptoms. Four additional factors: the duration of anxiety; duration of depression; comorbid panic disorder; and a history of antidepressant treatment were also independently associated with poorer prognosis. There was evidence that the difference in prognosis when these factors were combined could be of clinical importance. Adding these variables improved the amount of variance explained in 3–4 month depressive symptoms from 16% using depressive symptom severity alone to 27%. Risk of bias (assessed with QUIPS) was low in all studies and quality (assessed with GRADE) was high. Sensitivity analyses did not alter our conclusions. Conclusions. When adults seek treatment for depression clinicians should routinely assess for the duration of anxiety, duration of depression, comorbid panic disorder, and a history of antidepressant treatment alongside depressive symptom severity. This could provide clinicians and patients with useful and desired information to elucidate prognosis and aid the clinical management of depression. IntroductionMedical Research Council (MRC)Wellcome TrustMQ FoundationNational Institute of Health Research (NIHR)University College LondonUniversity of PennsylvaniaUniversity of SouthamptonUniversity of YorkUniversity of Exete

Clinical associations and prognostic value of MRI-visible perivascular spaces in patients with ischemic stroke or TIA: a pooled analysis

BACKGROUND AND OBJECTIVES: Visible perivascular spaces are an MRI marker of cerebral small vessel disease and might predict future stroke. However, results from existing studies vary. We aimed to clarify this through a large collaborative multicenter analysis. METHODS: We pooled individual patient data from a consortium of prospective cohort studies. Participants had recent ischemic stroke or transient ischemic attack (TIA), underwent baseline MRI, and were followed up for ischemic stroke and symptomatic intracranial hemorrhage (ICH). Perivascular spaces in the basal ganglia (BGPVS) and perivascular spaces in the centrum semiovale (CSOPVS) were rated locally using a validated visual scale. We investigated clinical and radiologic associations cross-sectionally using multinomial logistic regression and prospective associations with ischemic stroke and ICH using Cox regression. RESULTS: We included 7,778 participants (mean age 70.6 years; 42.7% female) from 16 studies, followed up for a median of 1.44 years. Eighty ICH and 424 ischemic strokes occurred. BGPVS were associated with increasing age, hypertension, previous ischemic stroke, previous ICH, lacunes, cerebral microbleeds, and white matter hyperintensities. CSOPVS showed consistently weaker associations. Prospectively, after adjusting for potential confounders including cerebral microbleeds, increasing BGPVS burden was independently associated with future ischemic stroke (versus 0-10 BGPVS, 11-20 BGPVS: HR 1.19, 95% CI 0.93-1.53; 21+ BGPVS: HR 1.50, 95% CI 1.10-2.06; = 0.040). Higher BGPVS burden was associated with increased ICH risk in univariable analysis, but not in adjusted analyses. CSOPVS were not significantly associated with either outcome. DISCUSSION: In patients with ischemic stroke or TIA, increasing BGPVS burden is associated with more severe cerebral small vessel disease and higher ischemic stroke risk. Neither BGPVS nor CSOPVS were independently associated with future ICH

Consensus Recommendations for the Use of Automated Insulin Delivery (AID) Technologies in Clinical Practice

International audienceThe significant and growing global prevalence of diabetes continues to challenge people with diabetes (PwD), healthcare providers and payers. While maintaining near-normal glucose levels has been shown to prevent or delay the progression of the long-term complications of diabetes, a significant proportion of PwD are not attaining their glycemic goals. During the past six years, we have seen tremendous advances in automated insulin delivery (AID) technologies. Numerous randomized controlled trials and real-world studies have shown that the use of AID systems is safe and effective in helping PwD achieve their long-term glycemic goals while reducing hypoglycemia risk. Thus, AID systems have recently become an integral part of diabetes management. However, recommendations for using AID systems in clinical settings have been lacking. Such guided recommendations are critical for AID success and acceptance. All clinicians working with PwD need to become familiar with the available systems in order to eliminate disparities in diabetes quality of care. This report provides much-needed guidance for clinicians who are interested in utilizing AIDs and presents a comprehensive listing of the evidence payers should consider when determining eligibility criteria for AID insurance coverage

Basic science232. Certolizumab pegol prevents pro-inflammatory alterations in endothelial cell function

Background: Cardiovascular disease is a major comorbidity of rheumatoid arthritis (RA) and a leading cause of death. Chronic systemic inflammation involving tumour necrosis factor alpha (TNF) could contribute to endothelial activation and atherogenesis. A number of anti-TNF therapies are in current use for the treatment of RA, including certolizumab pegol (CZP), (Cimzia ®; UCB, Belgium). Anti-TNF therapy has been associated with reduced clinical cardiovascular disease risk and ameliorated vascular function in RA patients. However, the specific effects of TNF inhibitors on endothelial cell function are largely unknown. Our aim was to investigate the mechanisms underpinning CZP effects on TNF-activated human endothelial cells. Methods: Human aortic endothelial cells (HAoECs) were cultured in vitro and exposed to a) TNF alone, b) TNF plus CZP, or c) neither agent. Microarray analysis was used to examine the transcriptional profile of cells treated for 6 hrs and quantitative polymerase chain reaction (qPCR) analysed gene expression at 1, 3, 6 and 24 hrs. NF-κB localization and IκB degradation were investigated using immunocytochemistry, high content analysis and western blotting. Flow cytometry was conducted to detect microparticle release from HAoECs. Results: Transcriptional profiling revealed that while TNF alone had strong effects on endothelial gene expression, TNF and CZP in combination produced a global gene expression pattern similar to untreated control. The two most highly up-regulated genes in response to TNF treatment were adhesion molecules E-selectin and VCAM-1 (q 0.2 compared to control; p > 0.05 compared to TNF alone). The NF-κB pathway was confirmed as a downstream target of TNF-induced HAoEC activation, via nuclear translocation of NF-κB and degradation of IκB, effects which were abolished by treatment with CZP. In addition, flow cytometry detected an increased production of endothelial microparticles in TNF-activated HAoECs, which was prevented by treatment with CZP. Conclusions: We have found at a cellular level that a clinically available TNF inhibitor, CZP reduces the expression of adhesion molecule expression, and prevents TNF-induced activation of the NF-κB pathway. Furthermore, CZP prevents the production of microparticles by activated endothelial cells. This could be central to the prevention of inflammatory environments underlying these conditions and measurement of microparticles has potential as a novel prognostic marker for future cardiovascular events in this patient group. Disclosure statement: Y.A. received a research grant from UCB. I.B. received a research grant from UCB. S.H. received a research grant from UCB. All other authors have declared no conflicts of interes

Baseline factors associated with early and late death in intracerebral haemorrhage survivors

Background and purpose: The aim of this study was to determine whether early and late death are associated with different baseline factors in intracerebral haemorrhage (ICH) survivors. Methods: This was a secondary analysis of the multicentre prospective observational CROMIS‐2 ICH study. Death was defined as ‘early’ if occurring within 6 months of study entry and ‘late’ if occurring after this time point. Results: In our cohort (n = 1094), there were 306 deaths (per 100 patient‐years: absolute event rate, 11.7; 95% confidence intervals, 10.5–13.1); 156 were ‘early’ and 150 ‘late’. In multivariable analyses, early death was independently associated with age [per year increase; hazard ratio (HR), 1.05, P = 0.003], history of hypertension (HR, 1.89, P = 0.038), pre‐event modified Rankin scale score (per point increase; HR, 1.41, P < 0.0001), admission National Institutes of Health Stroke Scale score (per point increase; HR, 1.11, P < 0.0001) and haemorrhage volume >60 mL (HR, 4.08, P < 0.0001). Late death showed independent associations with age (per year increase; HR, 1.04, P = 0.003), pre‐event modified Rankin scale score (per point increase; HR, 1.42, P = 0.001), prior anticoagulant use (HR, 2.13, P = 0.028) and the presence of intraventricular extension (HR, 1.73, P = 0.033) in multivariable analyses. In further analyses where time was treated as continuous (rather than dichotomized), the HR of previous cerebral ischaemic events increased with time, whereas HRs for Glasgow Coma Scale score, National Institutes of Health Stroke Scale score and ICH volume decreased over time. Conclusions: We provide new evidence that not all baseline factors associated with early mortality after ICH are associated with mortality after 6 months and that the effects of baseline variables change over time. Our findings could help design better prognostic scores for later death after ICH

Search for heavy charged long-lived particles in the ATLAS detector in 36.1 fb− 1 of proton-proton collision data at √s =13 TeV

A search for heavy charged long-lived particles is performed using a data sample of 36.1 fb−1 of proton-proton collisions at √s =13 TeV collected by the ATLAS experiment at the Large Hadron Collider. The search is based on observables related to ionization energy loss and time of flight, which are sensitive to the velocity of heavy charged particles traveling significantly slower than the speed of light. Multiple search strategies for a wide range of lifetimes, corresponding to path lengths of a few meters, are defined as model independently as possible, by referencing several representative physics cases that yield long-lived particles within supersymmetric models, such as gluinos/squarks (R-hadrons), charginos and staus. No significant deviations from the expected Standard Model background are observed. Upper limits at 95% confidence level are provided on the production cross sections of long-lived R-hadrons as well as directly pair produced staus and charginos. These results translate into lower limits on the masses of long-lived gluino, sbottom and stop R-hadrons, as well as staus and charginos of 2000, 1250, 1340, 430, and 1090 GeV, respectively

Electron and photon energy calibration with the ATLAS detector using 2015–2016 LHC proton-proton collision data

This paper presents the electron and photon energy calibration obtained with the ATLAS detector using about 36 fb−1 of LHC proton-proton collision data recorded at √s = 13 TeV in 2015 and 2016. The different calibration steps applied to the data and the optimization of the reconstruction of electron and photon energies are discussed. The absolute energy scale is set using a large sample of Z boson decays into electron-positron pairs. The systematic uncertainty in the energy scale calibration varies between 0.03% to 0.2% in most of the detector acceptance for electrons with transverse momentum close to 45 GeV. For electrons with transverse momentum of 10 GeV the typical uncertainty is 0.3% to 0.8% and it varies between 0.25% and 1% for photons with transverse momentum around 60 GeV. Validations of the energy calibration with J/ψ → e + e − decays and radiative Z boson decays are also presented